A Relational Algebra for Functional Logic Deductive Databases
نویسندگان
چکیده
In this paper, we study the integration of functional logic programming and databases by presenting a data model, and a query and data definition language. The query and data definition language is based on the use of a set of algebra operators over an extended relational algebra. The algebra expressions built from the extended algebra are used for expressing queries and rules. In addition, algebra expressions can be used for defining functions, typical in a functional logic program.
منابع مشابه
A Safe Calculus and Algebra for Querying Functional Logic Deductive Databases
In this paper, we present an extended relational calculus and algebra for a functional logic deductive database language. The extended relational calculus is based on the relational first-order logic, by adding constraints in the form of equalities and disequalities over complex (partially defined and possibly infinite) values and interpreted functions. In addition, we propose the notion of saf...
متن کاملNon-commutativity and Expressive Deductive Logic Databases
The procedural semantics of multi-adjoint logic programming is used for providing a model-theoretic semantics for a data model. A translation method for deductive logic databases is presented for obtaining a relational algebra with classical projection and enriched parametric join operator with aggregations. The use of non-commutative conjunctors allows for a model of different degrees of granu...
متن کاملMASTER OF SCIENCE Computational Mathematics and Modern Information Technologies
Entity-Relationship Data Model: Data structuring, Entity-Relationship Diagrams, Equivalence of EntityRelationship and the Functional Modeling, Algorithms for translating Entity-Relationship Diagrams into Relational and Elementary Mathematical Data Models. Relational Data Model: The structure of the Relational Data Model, Relational Algebra, Relational Calculus, Relational Query Languages, Stati...
متن کاملLogic and Databases
Logic and databases have gone a long way together since the advent of relational databases Already the rst basic query languages for relational databases beside relational algebra tuple calculus and domain calculus are actually a subset of rst order predicate logic Furthermore logic proved to be very adequate for establishing a sound theory for rela tional databases When attempts were made to i...
متن کامل6 th International Workshop on Deductive Databases and Logic Programming
We discuss the semantics of complex object databases with both partial and complete tuples and sets. We redeene the notion of database to reeect the existence of partial and complete tuples and sets and study how to integrate partial information about tuples and sets spread in the database and check consistency in the meantime. We also present a deductive language RLOG II for complex objects wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003